2

Post complete and 0-axiomatizable modal logics

Year:
1990
Language:
english
File:
PDF, 1.61 MB
english, 1990
3

ATOMS IN MODAL ALGEBRAS

Year:
1984
Language:
english
File:
PDF, 642 KB
english, 1984
4

Minimal p-Morphic Images, Axiomatizations and Coverings in the Modal Logic K4

Year:
1999
Language:
english
File:
PDF, 2.99 MB
english, 1999
6

On the Axiomatization of Finite K-Frames

Year:
1983
Language:
english
File:
PDF, 791 KB
english, 1983
7

Minimal Axiomatization in Modal Logic

Year:
1997
Language:
english
File:
PDF, 700 KB
english, 1997
8

On the axiomatization of finiteK-frames

Year:
1983
Language:
english
File:
PDF, 410 KB
english, 1983
10

A general treatment of equivalent modalities

Year:
1989
Language:
english
File:
PDF, 725 KB
english, 1989
11

Finitely Generated Free Heyting Algebras

Year:
1986
Language:
english
File:
PDF, 320 KB
english, 1986
13

An effective representation for finitely generated free interior algebras

Year:
1985
Language:
english
File:
PDF, 762 KB
english, 1985
14

Finite and finitely separable intermediate propositional logics

Year:
1988
Language:
english
File:
PDF, 1009 KB
english, 1988
15

Duality and Completeness for US-Logics

Year:
1998
Language:
english
File:
PDF, 113 KB
english, 1998
17

Atoms of tense algebras

Year:
1991
Language:
english
File:
PDF, 1.07 MB
english, 1991
18

Two classes of intermediate propositional logics without disjunction property

Year:
1989
Language:
english
File:
PDF, 485 KB
english, 1989
19

Selected Papers in Honour of Ettore Casari || Finite Trees in Tense Logic

Year:
1999
Language:
english
File:
PDF, 2.33 MB
english, 1999
20

On the lattice of extensions of the modal logics KAltn

Year:
1988
Language:
english
File:
PDF, 353 KB
english, 1988
22

A Test to Determine Distinct Modalities in the Extensions of S4

Year:
1985
Language:
english
File:
PDF, 265 KB
english, 1985
23

ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR

Year:
1992
Language:
english
File:
PDF, 311 KB
english, 1992
25

A General Treatment of Equivalent Modalities

Year:
1989
Language:
english
File:
PDF, 296 KB
english, 1989
26

Finite and Finitely Separable Intermediate Propositional Logics

Year:
1988
Language:
english
File:
PDF, 481 KB
english, 1988